Merge pull request #1731 from miyatsu/doc-fix-20181225
authorAntonio Niño Díaz <[email protected]>
Fri, 4 Jan 2019 09:14:22 +0000 (09:14 +0000)
committerGitHub <[email protected]>
Fri, 4 Jan 2019 09:14:22 +0000 (09:14 +0000)
docs: marvell: Fix typo in file build.txt


Trivial merge